Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
301	L2 English Articles and the Computation of Uniqueness Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:29 Sociolinguistics Second-language acquisition Applied linguistics Interlanguage English as a foreign or second language Second language Presupposition Linguistics Language acquisition Bilingualism
302	ˇ JONOSKA NATASA Curriculum Vitae Office Address Department of Mathematics University of South Florida Add to Reading List Source URL: www.math.usf.edu Language: English - Date: 2009-03-06 15:12:59 Biology Science Formal languages Molecular biology International Society for Nanoscale Science Computation and Engineering Natural computing DNA computing Chemistry Picture language DNA nanotechnology Theoretical computer science Classes of computers
303	Type Soundness and Race Freedom for Mezzo Thibaut Balabonski, François Pottier, and Jonathan Protzenko INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-03-13 09:25:26 Type theory Procedural programming languages Models of computation Functional programming Monad Type safety Lambda calculus Filesystem permissions Type system Software engineering Computing Programming language theory
304	Language Theory and Innite Graphs Colin Stirling S hool of Informati s Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:17 Applied mathematics Mathematics Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Models of computation Automata theory Theoretical computer science
305	1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-02 08:38:25 Mathematics Norm Deterministic pushdown automaton Constructible universe Symbol Formal languages Theoretical computer science Computer science Topological vector spaces Automata theory Linear algebra Models of computation
306	1 Language Theory and Infinite Graphs Colin Stirling School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-02 08:38:18 XTR Models of computation Automata theory Pushdown automaton
307	Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:51:25 Mathematics Theoretical computer science Bisimulation Logic in computer science Models of computation Philosophical logic Interpretation First-order logic Structure Logic Mathematical logic Model theory
308	Curriculum vitae of Jan van Eijck Name Jan van Eijck, initials D.J.N. (Dingeman Johannes Norbertus), born 6 September 1951 in The Netherlands. Nationality: Dutch Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-12-12 15:15:35 Semantics Game theory Computational semantics Natural language processing Johan van Benthem Institute for Logic Language and Computation Social software Maarten de Rijke University of Groningen Science Academia Logic
309	Time and Synchronization in Executable UML Leon Starr Add to Reading List Source URL: modelint.com Language: English - Date: 2008-12-28 11:46:41 Data modeling Design Diagrams Executable UML UML diagrams Automata theory State diagram Model-driven architecture Finite-state machine Unified Modeling Language Models of computation Software engineering
310	XML-Based Static Type Checking and Dynamic Visualization for TCOZ Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, and Hai Wang School of Computing, National University of Singapore {dongjs,liyuanfa,sunjing,sunjun,wangh}@ Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2002-10-11 12:30:56 UML diagrams Software engineering Data modeling Diagrams Models of computation State diagram XML Metadata Interchange UML state machine ECO Computing Unified Modeling Language ISO standards

UPDATE